Creating the Architecture of a Translator Framework for Robot Programming Languages

نویسندگان

  • Eckhard Freund
  • Bernd Luedemann-Ravit
  • Oliver Stern
  • Thorsten Koch
چکیده

This paper presents a novel approach to facilitate the development and maintenance of translators for industrial robot programming languages. Such translators are widely used in robot simulation and offline programming systems to support programming in the respective native robot language. Our method is based upon a software architecture, that is provided as a complete translator framework. For the developer of a new translator, it offers convenient strategies to concentrate on robot specific language elements during the design and implementation process: fill-in templates, libraries for common functionality, design patterns etc., all tied up with a general translation scheme. In contrast to other compiler construction tools, the developers need not care about the complex details of a whole translator. As a matter of principle, the architecture offers a complete default translator (except for the grammar). Robot specific elements can be held in separate units outside of the actual translator to facilitate maintenance and feature extension. The most probable changes in the translator product life cycle are restricted to the adaptation of these units. Several translators built upon this framework are in actual use in the commercial robot simulation system COSIMIR to support native language robot programming, as well as in the widely used robot programming system COSIROP to verify the syntax of robot programs.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Characteristics of Competent Translator Trainers From the Viewpoint of Expert Iranian Translator Trainers: A Qualitative Study

In this study, the directed (deductive) content analysis approach was adopted to explore the components of translator trainers’ competencies through in-depth individual semistructured interviews conducted with 10 expert Iranian translator trainers at different universities around Iran. Theoretical model was the translator trainer profile proposed by The European Master’s in Translation (EMT) Gr...

متن کامل

A Programming Language for Probabilistic Computation

As probabilistic computations play an increasing role in solving various problems, researchers have designed probabilistic languages to facilitate their modeling. Most of the existing probabilistic languages, however, focus only on discrete distributions, and there has been little effort to develop probabilistic languages whose expressive power is beyond discrete distributions. This dissertatio...

متن کامل

Thesis Proposal Language Interoperability and Logic Programming Languages

Logic programming languages, such as Prolog, are found to be particularly appropriate for solving problems involving logical deduction from a set of data. The .NET framework aims to support language interoperability, so it could be valuable to find ways of using languages such as Prolog within the .NET framework. One way in which this could be done is by translating Prolog to the new language C...

متن کامل

Robotics API: Object-Oriented Software Development for Industrial Robots

Industrial robots are flexible machines that can be equipped with various sensors and tools to perform complex tasks. However, current robot programming languages are reaching their limits. They are not flexible and powerful enough to master the challenges posed by the intended future application areas. In the research project SoftRobot, a consortium of science and industry partners developed a...

متن کامل

Mapping Big-Step Modeling Languages to SMV

We propose an algorithm for creating a semantics-based, parameterized translator from the family of big-step modeling languages (BSMLs) to the input language of the model checker SMV. Our translator takes as input a specification in the CHTS notation and a set of user-provided parameters that encode the specification’s semantics; it produces an SMV model suitable for model checking. We use a mo...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2001